perm filename PROOFS[E89,JMC] blob sn#875204 filedate 1989-07-10 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	%proofs[e89,jmc]		notes on proofs of my papers
C00003 ENDMK
CāŠ—;
%proofs[e89,jmc]		notes on proofs of my papers

Perhaps the review of the Lighthill report should have a footnote
attached where it mentions the chess bet.

I did lose the chess bet to David Levy in 1978.  In 1989 Deep
Thought defeated a grandmaster for the first time.  In late 1989
Levy is to play Deep Thought in a match that will test what he
calls his ``computer-hostile'' style of play.